Vector groups and the equality problem for vector addition systems
نویسندگان
چکیده
منابع مشابه
Vector Addition Systems Reachability Problem (A Simpler Solution)
The reachability problem for Vector Addition Systems (VASs) is a central problem of net theory. The general problem is known to be decidable by algorithms based on the classical Kosaraju-Lambert-Mayr-Sacerdote-Tenney decomposition (KLMST decomposition). Recently from this decomposition, we deduced that a final configuration is not reachable from an initial one if and only if there exists a Pres...
متن کاملIdeal Decompositions for Vector Addition Systems
Vector addition systems, or equivalently Petri nets, are one of the most popular formal models for the representation and the analysis of parallel processes. Many problems for vector addition systems are known to be decidable thanks to the theory of well-structured transition systems. Indeed, vector addition systems with configurations equipped with the classical point-wise ordering are well-st...
متن کاملRanking Functions for Vector Addition Systems
Vector addition systems are an important model in theoretical computer science and have been used for the analysis of systems in a variety of areas. Termination is a crucial property of vector addition systems and has received considerable interest in the literature. In this paper we give a complete method for the construction of ranking functions for vector addition systems with states. The in...
متن کاملVector Addition System Reversible Reachability Problem
The reachability problem for vector addition systems is a central problem of net theory. This problem is known to be decidable but the complexity is still unknown. Whereas the problem is EXPSPACE-hard, no elementary upper bounds complexity are known. In this paper we consider the reversible reachability problem. This problem consists to decide if two configurations are reachable one from each o...
متن کاملFuzzy Vector Equilibrium Problem
In the present paper, we introduce and study a fuzzy vector equilibrium problem and prove some existence results with and without convexity assumptions by using some particular forms of results of textit{Kim} and textit{Lee} [W.K. Kim and K.H. Lee, Generalized fuzzy games and fuzzy equilibria, Fuzzy Sets and Systems, 122 (2001), 293-301] and textit{Tarafdar} [E. Tarafdar, Fixed point theorems i...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mathematics of Computation
سال: 1978
ISSN: 0025-5718
DOI: 10.1090/s0025-5718-1978-0482272-7